Computer Science Electives

Module	LV Type	CP	LV	Dates	Examination
[KP20928] Cryptography	Fach-/Modulprüfung	8	585998
[KP20928] Cryptography	Vorlesung/Übung		579572	Mo 12:00-14:00 Extern (×13) Mo 14:00-16:00 Extern (×13) Mi 12:00-14:00 Extern (×12)
Advanced Internet Technology	Fach-/Modulprüfung	6	581846
Advanced Network Security	Fach-/Modulprüfung	6	584999
Advanced Network Security	Vorlesung/Übung		579982	Di 12:30-14:00 EA (1270\|109) (×14) Do 08:30-10:00 EA (1270\|109) (×15)
Advanced Topics in Logic	Fach-/Modulprüfung	6	589359
	Übung		588003	Mi 16:30-18:00 AH III (2350\|314.1) (×15)
	Vorlesung		588001	Mo 10:30-12:00 AH II (2350\|111) (×15) Do 16:30-18:00 AH II (2350\|111) (×15)
Algorithmic Game Theory	Fach-/Modulprüfung	6	585094
Communication Systems Engineering	Fach-/Modulprüfung	6	581791
Communication Systems Engineering	Vorlesung/Übung		577271	Mo 10:30-12:00 AH III (2350\|314.1) (×12) Do 10:30-12:00 AH I (2350\|028) (×14) Fr 10:30-12:00 AH I (2350\|028) (×13)
Cryptography	Fach-/Modulprüfung	6	589362		Di 16.02.2027 14:00-15:30 ZuseLab C1 (2315\|107) ZuseLab C3 (2315\|211) ZuseLab C4 (2315\|201) Di 23.03.2027 09:00-10:30 ZuseLab C1 (2315\|107) ZuseLab C3 (2315\|211)
Cryptography	Vorlesung/Übung		589361	Mi 14:30-16:00 AH III (2350\|314.1) (×15) Do 10:30-12:00 AH III (2350\|314.1) (×15) Fr 14:30-16:00 H06 (1385\|004) (×15)
Dynamical Processes on Networks	Fach-/Modulprüfung	6	583294		Fr 12.02.2027 14:30-16:00 Eph (1090\|321) Do 11.03.2027 12:00-13:30 PPS H2 (2315\|001)
	Übung		587452	Do 10:30-12:00 OC Hörsaal (2030\|015) (×15)
	Vorlesung		587451	Mo 12:30-14:00 AH VI (2356\|051) (×14) Di 16:30-18:00 AH VI (2356\|051) (×13)
High-Performance Computing	Fach-/Modulprüfung	6	581859
High-Performance Computing	Vorlesung/Übung		579276	Mo 12:30-14:00 AH V (2356\|050) (×15) Di 14:30-16:00 AH IV (2354\|030) (×14)
High-performance Matrix Computations	Fach-/Modulprüfung	6	585461
Industrial Network Security	Fach-/Modulprüfung	6	583668
	Übung		581344	Mi 10:30-12:00 AH II (2350\|111) (×8)
	Vorlesung		580341	Di 10:30-12:00 AH II (2350\|111) (×14) Fr 12:30-14:00 AH II (2350\|111) (×15)
Infinite Computations and Games	Fach-/Modulprüfung	6	582432
	Übung		578158	Do 12:30-14:00 5054 (2356\|054) (×15)
	Vorlesung		578375	Mo 10:30-12:00 5056 (2356\|056) (×15) Mi 10:30-12:00 5056 (2356\|056) (×15)
Introduction to Algorithmic Differentiation	Fach-/Modulprüfung	6	585081		Fr 26.02.2027 14:30-16:30 Großer Hörsaal AM (1420\|210) TEMP1 (1515\|001) Do 25.03.2027 16:30-18:30 Großer Hörsaal AM (1420\|210)
Introduction to Algorithmic Differentiation	Vorlesung/Übung		577583	Mo 14:30-16:00 AH III (2350\|314.1) (×15) Mi 12:30-14:00 AH III (2350\|314.1) (×15) Do 08:30-10:00 MetP11 (2181\|102) (×15)
iOS Application Development	Fach-/Modulprüfung	6	584337		Mi 10.02.2027 12:00-13:00 B201 (3011\|201) H09 (1385\|220) Fr 12.03.2027 12:00-13:00 B037 (3011\|037)
iOS Application Development	Vorlesung		578643	Mo 12:30-14:00 Extern (×10) Di 10:00-11:30 Extern (×14)
Linux Kernel Programming	Fach-/Modulprüfung	6	584367
Model Checking	Fach-/Modulprüfung	6	585086		Fr 12.02.2027 16:30-18:30 PPS H1 (2315\|101) Roter Hörsaal AM (Ro) (1420\|002) Mi 10.03.2027 12:00-14:00 TEMP1 (1515\|001)
	Übung		577398	Fr 12:30-14:00 AH I (2350\|028) (×15)
	Vorlesung		578334	Mi 14:30-16:00 AH I (2350\|028) (×15) Do 16:30-18:00 AH I (2350\|028) (×15)
Model-based Systems Engineering	Fach-/Modulprüfung	6	583179		Mi 10.02.2027 09:00-11:00 AH V (2356\|050) AH VI (2356\|051) Aula 2 (2352\|021) BS 218 (2130\|218) BS I (2131\|101) BS II (2131\|102) IPC Hörsaal (2400\|U101) MetP11 (2181\|102) PPS H1 (2315\|101) PPS H2 (2315\|001) Di 09.03.2027 14:00-16:00 Aula 2 (2352\|021) BS I (2131\|101) BS II (2131\|102) PPS H1 (2315\|101) PPS H2 (2315\|001)
Model-based Systems Engineering	Vorlesung/Übung		579907	Di 10:30-12:00 AH VI (2356\|051) (×14) Mi 12:30-14:00 AH V (2356\|050) (×15) Do 10:30-12:00 AH II (2350\|111) (×15)
Optimization and Uncertainty	Fach-/Modulprüfung	6	584844
Post-quantum cryptography	Fach-/Modulprüfung	6	584032
Probabilistic Programming	Fach-/Modulprüfung	6	582304		Fr 19.02.2027 09:00-11:00 004 (1830\|004) BS II (2131\|102) Mo 15.03.2027 12:00-14:00 BS II (2131\|102)
	Übung		577153	Di 10:30-12:00 AH I (2350\|028) (×14)
	Vorlesung		577327	Mo 16:30-18:00 AH II (2350\|111) (×15) Do 12:30-14:00 AH III (2350\|314.1) (×15)
Real-Time Operating Systems - Design and Implementation	Fach-/Modulprüfung	6	600339
	Übung		600338	Mi 14:30-16:00 t.b.d. (×14)
	Vorlesung		600337	Mi 12:30-14:00 t.b.d. (×14)
Research Focus Class Industrial Applications for LLM-driven Agentic Systems	Projekt		579424
	Fach-/Modulprüfung	6	585156
Research Focus Class on Communication Systems	Fach-/Modulprüfung	6	585091
Research Focus Class on Communication Systems	Vorlesung/Übung		598525
Satisfiability Checking	Fach-/Modulprüfung	6	582368
Satisfiability Checking	Vorlesung/Übung		578303	Mo 10:30-12:00 AH V (2356\|050) (×15) Mi 14:30-16:00 AH V (2356\|050) (×15) Fr 14:30-15:15 5056 (2356\|056) (×15)
Semantics and Verification of Software	Fach-/Modulprüfung	6	585052		Di 23.02.2027 09:00-11:00 H06 (1385\|004) Mo 22.03.2027 09:00-11:00 AH VI (2356\|051)
	Übung		587536	Fr 14:30-16:00 AH I (2350\|028) (×15)
	Vorlesung		587537	Mi 10:30-12:00 AH I (2350\|028) (×14) Do 14:30-16:00 AH II (2350\|111) (×14)
Software Architecture	Fach-/Modulprüfung	6	589372
	Übung		589376	Do 14:30-16:00 III (1010\|107) (×14) Do 14:30-16:00 TEMP1 (1515\|001) (×1)
	Vorlesung		589268	Di 12:30-14:00 AH VI (2356\|051) (×14) Mi 14:30-16:00 AH VI (2356\|051) (×15)
Stochastic Games	Fach-/Modulprüfung	6	581578
Theory of Distributed Systems	Fach-/Modulprüfung	6	583876
Theory of Graph and Network Optimization	Fach-/Modulprüfung	9	583275
	Übung		587442	Do 14:30-16:00 S02 (1385\|202) (×14)
	Vorlesung		587441	Di 08:15-10:00 AH V (2356\|050) (×12) Di 08:30-10:00 AH V (2356\|050) (×1) Fr 08:15-10:00 AH V (2356\|050) (×13) Fr 08:30-10:00 AH I (2350\|028) (×1) Fr 08:30-10:00 AH V (2356\|050) (×1)
Theory of Graph and Network Optimization: Flow Problems	Fach-/Modulprüfung	5	584413
	Übung		587442	Do 14:30-16:00 S02 (1385\|202) (×14)
	Vorlesung		587441	Di 08:15-10:00 AH V (2356\|050) (×12) Di 08:30-10:00 AH V (2356\|050) (×1) Fr 08:15-10:00 AH V (2356\|050) (×13) Fr 08:30-10:00 AH I (2350\|028) (×1) Fr 08:30-10:00 AH V (2356\|050) (×1)
Theory of Graph and Network Optimization: Network-Design and Facility Location	Fach-/Modulprüfung	5	583276
	Übung		587442	Do 14:30-16:00 S02 (1385\|202) (×14)
	Vorlesung		587441	Di 08:15-10:00 AH V (2356\|050) (×12) Di 08:30-10:00 AH V (2356\|050) (×1) Fr 08:15-10:00 AH V (2356\|050) (×13) Fr 08:30-10:00 AH I (2350\|028) (×1) Fr 08:30-10:00 AH V (2356\|050) (×1)